منابع مشابه
Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps
Résumé. Soit K et K ′ deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C ′ deux courbes ayant pour corps de fonctions K et K ′ respectivement. Nous démontrons que si les anneaux d’endomorphismes de C et de C ′ ne sont pas isomorphes, alors K et K ′ ne sont pas élémentairement équivalents dans le langage d...
متن کاملLangage naturel et intelligence artificielle
This paper presents an overall assessment of the whole range of research activities devoted to Natural-Language Processing within the field of Artificial Intelligence (AI). After a quick survey of the social and economic conditions of research, the paper addresses itself to : i) the influence of language theories on AI research : neuropsychology, psychocognitive sciences, transformational gramm...
متن کاملAlgèbre OLAP et langage graphique
This article deals with OLAP systems based on multidimensional model. The conceptual model we provide, represents data through a constellation (multi-facts) composed of several multi-hierarchy dimensions. In this model, data are displayed through multidimensional tables. We define a query algebra handling these tables. This user oriented algebra is composed of a closure core of OLAP operators a...
متن کاملProlog IV : langage et algorithmes
normes ISO, les contraintes e ´tant introduites grâce a ` des prédicats prédéfinis. Les prétentions de ce papier se limitent a ` présenter un premier apperçu informel mais complet du langage, de ses possibilités et des algorithmes de résolution de contraintes sous-jacents.
متن کاملModélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG
For efficiency reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Appareil
سال: 2015
ISSN: 2101-0714
DOI: 10.4000/appareil.2223